Boolean model - PDFSEARCH.IO - Document Search Engine

Boolean model
Results: 352

#	Item
51	First-order reasoning in Yices2 Master Thesis in Computer Science Simon Cruanes∗ supervised by Bruno Dutertre †, Viktor Kuncak ‡, Benjamin Werner § SRI International, Menlo Park, CA September 2011 – March 2012 Add to Reading List Source URL: cedeela.fr Language: English - Date: 2013-02-07 03:54:46 Automated theorem proving Model theory Logic in computer science Constraint programming NP-complete problems Boolean satisfiability problem Satisfiability Modulo Theories DPLL algorithm Interpretation Theoretical computer science Logic Mathematical logic
52	BRICS RSAceto et al.: Finite Equational Bases in Process Algebra: Results and Open Questions BRICS Basic Research in Computer Science Add to Reading List Source URL: www.brics.dk Language: English - Date: 2005-06-12 16:51:01 Boolean algebra Algebraic structures Probability theory Mathematical structures Universal algebra Sigma-algebra Model theory Structure Independence Mathematics Mathematical logic Abstract algebra
53	The Polyhedral Model Definitions Operations on Polyhedra Quantifier Elimination and SMT solvers Last Words Add to Reading List Source URL: labexcompilation.ens-lyon.fr Language: English - Date: 2013-05-14 05:12:13 Electronic design automation Formal methods Logic in computer science NP-complete problems Compiler optimizations Polyhedron Satisfiability Modulo Theories Boolean satisfiability problem Linear programming Theoretical computer science Mathematics Applied mathematics
54	Introduction 0-1 Law for Bernays-Sch¨ onfinkel Negative Results Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2010-04-18 18:43:59 Mathematics Metalogic Formal languages First-order logic Predicate logic Boolean satisfiability problem Well-formed formula Satisfiability Second-order logic Logic Mathematical logic Model theory
55	RUDIN-KEISLER POSETS OF COMPLETE BOOLEAN ALGEBRAS PETER JIPSEN, ALEXANDER PINUS, HENRY ROSE Abstract. The Rudin-Keisler ordering of ultrafilters is extended to complete Boolean algebras and characterised in terms of elem Add to Reading List Source URL: www1.chapman.edu Language: English - Date: 2004-06-07 10:17:14 Model theory Boolean algebra Order theory Non-standard analysis Universal algebra Ultrafilter Symbol Structure Ultraproduct Mathematics Mathematical logic Logic
56	Gene-O-Matic • Genetic network modelling and simulation tool • Graphical user interface to design networks • Discrete model: Boolean network/ matrix multiplication Add to Reading List Source URL: sbml.org Language: English - Date: 2008-04-03 15:48:34 Nature Cell Cell biology Gene regulatory network
57	The Premiss-Based Approach to Judgment Aggregation Franz Dietrich & Philippe Mongin December 2007 Abstract We investigate judgment aggregation by assuming that some formulas of the Add to Reading List Source URL: personal.lse.ac.uk Language: English - Date: 2008-01-31 05:56:33 Model theory Propositional calculus Semantics Order theory Boolean algebra Interpretation Filter Logic Mathematical logic Mathematics
58	FACULTY OF ARTS DEPARTMENT OF PHILOSOPHY PHIL 279 Lec 02/03 — “Logic I” Fall Term 2010 Course Outline Add to Reading List Source URL: ucalgary.ca Language: English - Date: 2014-07-27 06:36:15 Education Predicate logic Semantics Logic in computer science Boolean algebra First-order logic Valuation Tutorial Homework Logic Mathematical logic Model theory
59	The University of Calgary Department of Philosophy Philosophy 279L05 LOGIC I Winter 2004 — Richard Zach Add to Reading List Source URL: ucalgary.ca Language: English - Date: 2008-10-27 16:48:33 Science Predicate logic Semantics Boolean algebra Valuation First-order logic Interpretation Tutorial Homework Logic Mathematical logic Model theory
60	ForSpec ForSpec Reference Manual June 24, 2001 Add to Reading List Source URL: www.cs.rice.edu Language: English - Date: 2007-06-26 03:17:52 C programming language Data types Boolean algebra FO Finite model theory C syntax C Enumerated type Bit array Computing Computer programming Software engineering

UPDATE